|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
